Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
61	In: ICDAR-95 (Intl. Conf. on Document Analysis & Recognition), ppMontreal, Canada, 1995. Efficient Analysis of Complex Diagrams using Constraint-Based Parsing1,2 Robert P. Futrelle and Nikos Nikolakis Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2002-11-16 09:11:42 Parsing Geometry Top-down parsing LL parser Diagram Cartesian coordinate system Formal grammar CYK algorithm Formal languages Mathematics Compiler construction
62	SOGgy Constraints: Soft Open Global Constraints Michael J. Maher NICTA? and University of NSW Sydney, Australia Add to Reading List Source URL: seit.unsw.adfa.edu.au Language: English - Date: 2009-06-18 05:17:46 Computing Local consistency Constraint algorithm Decomposition method Constraint satisfaction Constraint programming Software engineering Computer programming
63	Online Make-to-Order Joint Replenishment Model: Primal Dual Competitive Algorithms N. Buchbinder∗ T. Kimbrel† Add to Reading List Source URL: konstantin.makarychev.net Language: English - Date: 2014-06-08 22:16:32 Linear programming Theoretical computer science Algorithm Mathematical optimization Constraint algorithm Decomposition method Operations research Mathematics Applied mathematics
64	Marshall Plan Scholarship Report Incorporation of the Superiorization Methodology into Biomedical Imaging Software submitted by: Add to Reading List Source URL: www.marshallplan.at Language: English - Date: 2015-02-10 09:27:41 Mathematics Constraint optimization Penalty method Algorithm Iterative reconstruction Science Multidisciplinary design optimization Global optimization Mathematical optimization Operations research Applied mathematics
65 $Applied mathematics / Linear programming / Convex optimization / Combinatorial optimization / Duality / Simplex algorithm / Assignment problem / Constraint / Linear-fractional programming / Mathematical optimization / Operations research / Mathematics$	LINEAR PROGRAMMING A Concise Introduction Thomas S. Ferguson Contents 1. Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Add to Reading List Source URL: www.usna.edu Language: English - Date: 2009-01-22 13:46:48 Applied mathematics Linear programming Convex optimization Combinatorial optimization Duality Simplex algorithm Assignment problem Constraint Linear-fractional programming Mathematical optimization Operations research Mathematics
66	Comfusy: A Tool for Complete Functional Synthesis Tool Presentation Viktor Kuncak, Mika¨el Mayer, Ruzica Piskac, Philippe Suter? Swiss Federal Institute of Technology (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2010-05-11 07:07:53 Logic in computer science Formal methods Constraint programming Electronic design automation NP-complete problems Satisfiability Modulo Theories Algorithm Presburger arithmetic Function Mathematics Theoretical computer science Mathematical logic
67	Artificial Intelligence–145 www.elsevier.com/locate/artint Book review R. Dechter, Constraint Processing, Morgan Kaufmann, 2003. Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:26:39 Computing Constraint satisfaction Local consistency Constraint logic programming Constraint optimization Mathematical optimization Search algorithm AC-3 Hybrid algorithm Constraint programming Software engineering Computer programming
68	4OR manuscript No. (will be inserted by the editor) LocalSolver 1.x A black-box local-search solver for 0-1 programming Thierry Benoist · Bertrand Estellon · Add to Reading List Source URL: tbenoist.pagesperso-orange.fr Language: English - Date: 2011-03-16 02:49:16 Operations research Software engineering Mathematical optimization Constraint optimization Search algorithm Solver AMPL Local search Constraint satisfaction Theoretical computer science Constraint programming Applied mathematics
69	Relaxed Survey Propagation: A Sum-Product Algorithm for Max-SAT Hai Leong Chieu Wee Sun Lee Singapore MIT Alliance Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2008-11-06 22:58:52 Applied mathematics Logic in computer science Maximum satisfiability problem MAX-3SAT Belief propagation Conjunctive normal form Local search WalkSAT Local consistency Theoretical computer science Constraint programming Mathematics
70	An Optimal Arc Consistency Algorithm for a Chain of Atmost Constraints with Cardinality Mohamed Siala1,2 , Emmanuel Hebrard1,3 , and Marie-Jos´e Huguet1,2 1 CNRS, LAAS, 7 avenue du colonel Roche, FToulouse, Fran Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2012-06-06 05:07:36 Local consistency Constraint satisfaction problem Vector space Algebra Constraint programming Mathematics

UPDATE